<?php
	echo "哈哈";
